<?php

$file = 'example.txt';
extract($_GET);

if (isset($student)) {
    $content = trim(file_get_contents($file));
    if ($student == $content) {
        echo "hello extract function";
    } else {
        echo 'Error';
    }
}